1. Identity statement | |
Reference Type | Book or Monograph (Book) |
Site | mtc-m16b.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Repository | sid.inpe.br/mtc-m17@80/2008/05.08.12.33 |
Last Update | 2008:05.08.12.55.55 (UTC) administrator |
Metadata Repository | sid.inpe.br/mtc-m17@80/2008/05.08.12.33.48 |
Metadata Last Update | 2021:02.11.21.06.22 (UTC) administrator |
Secondary Key | INPE-15182-NTC/374 |
Citation Key | AmbrósioMaCaSaArViLo:2007:ExPrUs |
Title | Experiências em projetos e uso de técnicas de verficiação e validação de software em aplicações espaciais no INPE |
Year | 2007 |
Access Date | 2024, May 13 |
Secondary Type | NTC |
Number of Pages | 45 |
Number of Files | 145 |
Size | 19314 KiB |
|
2. Context | |
Author | 1 Ambrósio, Ana Maria 2 Mattiello-Francisco, Fátima 3 Cardoso, Luciana Seda 4 Santiago, Valdivino 5 Arias, Ronaldo 6 Vijaykumar, Nandamudi Lankalapalli 7 Loureiro, Geilson |
Resume Identifier | 1 8JMKD3MGP5W/3C9JGH7 2 3 8JMKD3MGP5W/3C9JHM6 4 5 8JMKD3MGP5W/3C9JJ6S 6 8JMKD3MGP5W/3C9JHTU 7 8JMKD3MGP5W/3C9JH57 |
Group | 1 DSS-INPE-MCT-BR 2 DSS-INPE-MCT-BR 3 DSS-INPE-MCT-BR 4 DAS-INPE-MCT-BR 5 DEA-INPE-MCT-BR 6 LAC-INPE-MCT-BR 7 LIT-INPE-MCT-BR |
Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto Nacional de Pesquisas Espaciais (INPE) 5 Instituto Nacional de Pesquisas Espaciais (INPE) 6 Instituto Nacional de Pesquisas Espaciais (INPE) 7 Instituto Nacional de Pesquisas Espaciais (INPE) |
Publisher | Instituto Nacional de Pesquisas Espaciais |
City | São José dos Campos |
History (UTC) | 2008-05-08 12:37:53 :: simone -> administrator :: 2008-05-08 12:44:25 :: administrator -> simone :: 2008-05-08 12:52:28 :: simone -> jefferson :: 2008-05-08 12:56:22 :: jefferson -> administrator :: 2008-06-29 16:21:10 :: administrator -> jefferson :: 2008-10-22 17:20:45 :: jefferson -> administrator :: 2021-02-11 21:06:22 :: administrator -> marciana :: 2007 |
|
3. Content and structure | |
Is the master or a copy? | is the master |
Content Stage | completed |
Transferable | 1 |
Keywords | Testes de software aplicações espaciais teste de conformidade injeção de falhas por software ferramentas de teste processamento de v e v |
Abstract | O caráter crítico de software em aplicações espaciais requer investigações em métodos sistemáticos e processos de teste acompanhados de ferramentas para verificação e validação (V&V). Este relatório descreve projetos, de pesquisa e de desenvolvimento em ferramentas, metodologias e processos para melhorar a qualidade dos sistemas de software das missões espaciais brasileiras, que estão em andamento no Instituto Nacional de Pesquisas Espaciais (INPE) atualmente. Alguns projetos abordam exclusivamente técnicas de teste de software como geração de dados de teste, seleção de dados de teste, ferramentas para apoiar a execução de testes, análise de resultados de testes e também de apoio ao gerenciamento de testes. Outros projetos cobrem um espectro mais abrangente no processo de verificação no ciclo de vida do software ou podem ser entendidos a uma visão de sistema. Este relatório apresentada trabalhos em andamento listando os projetos, ferramentas, metodologias, processos e técnicas de teste de software exploradas. Vantagens e desvantagens no desenvolvimento dos projetos percebidas pelas equipes são também discutidas. ABSTRACT: The critical feature of space applications requires investments of time and effort for defining systematic testing methods and processes associated to tools to support verification and validation (V&V). This report describe the research and development projects related to tool design, methodologies and processes definition to improve the quality of software and systems of the Brazilian Space Missions which are currently being carried on at the National Institute for Space Research. Some projects focuses exclusively on software testing techniques as, test data generation, test data selection, support to test execution, test result analysis and support to test management. Other projects cover a broader verification processes in the whole software lifecycle or may be applied at a system point of view. This report presents the ongoing projects, tools, methodologies, processes and testing techniques being applied in the current projects. The project advantages and drawbacks perceived by the working teams are also discussed. |
Area | ETES |
Arrangement 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Experiências em projetos... |
Arrangement 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDAS > Experiências em projetos... |
Arrangement 3 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDEA > Experiências em projetos... |
Arrangement 4 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COLIT > Experiências em projetos... |
Arrangement 5 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Experiências em projetos... |
doc Directory Content | access |
source Directory Content | there are no files |
agreement Directory Content | there are no files |
|
4. Conditions of access and use | |
data URL | http://mtc-m16b.sid.inpe.br/ibi/sid.inpe.br/mtc-m17@80/2008/05.08.12.33 |
zipped data URL | http://mtc-m16b.sid.inpe.br/zip/sid.inpe.br/mtc-m17@80/2008/05.08.12.33 |
Language | pt |
Target File | paginadeacesso.html |
User Group | administrator simone administrator jefferson |
Visibility | shown |
Copy Holder | SID/SCD |
Update Permission | transferred to jefferson |
|
5. Allied materials | |
Next Higher Units | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3ETR8EH 8JMKD3MGPCW/3F6GF6B 8JMKD3MGPCW/444BQ9E 8JMKD3MGPCW/446B2HE |
Citing Item List | sid.inpe.br/bibdigital/2021/02.11.21.02 2 sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1 sid.inpe.br/mtc-m21/2012/07.13.14.53.46 1 |
Dissemination | NTRSNASA; BNDEPOSITOLEGAL. |
Host Collection | lcp.inpe.br/ignes/2004/02.12.18.39 cptec.inpe.br/walmeida/2003/04.25.17.12 |
|
6. Notes | |
Empty Fields | archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi e-mailaddress edition editor electronicmailaddress format identifier isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor seriestitle session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype volume |
|
7. Description control | |
e-Mail (login) | marciana |
update | |
|